Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·16h·
Discuss: DEV
🦀Rust Macros
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·2h
🦀Rust Verification
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🔤Type Theory
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
λLambda Encodings
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·16h·
Discuss: Hacker News
🔗Lisp
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
💻Programming languages
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1h
🧮Theorem Proving
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·11h
🏛️Agda
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·6h·
Discuss: Lobsters
🌳Incremental Parsing
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Greyscale-box test-driven development
blog.ploeh.dk·10h
🧪Property-Based Testing
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🌀Brotli Dictionary
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1h
🧮Z3 Solver
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity